1.
المؤلف: بیزام ،جورج
المکتبة: کتابخانه ۱۳ آبان (کتابخانه های سازمان فرهنگی هنری شهرداری تهران) (طهران)
موضوع: ،منطق ریاضی - مسائل ? تمرینها و غیره، , ،ریاضیات - سرگرمیها،
رده :
511
/3076
ب
936
ص
1374
2. <A> Concise introduction to pure mathematics
المؤلف: \ Martin Liebeck.
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, Symbolic and mathematical.,Mathematics.,منطق ریاضی ,ریاضیات
رده :
QA9
.
L478
2016
E-book
,
3. <A> First Course in Mathematical Logic and Set Theory
المؤلف: \ Michael L. O'Leary
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, symbolic and mathematical,Mathematics,Set theory,منطق ریاضی,ریاضیات,نظریه مجموعه‌ها,a03,a04,a05,a03,a04,a05
رده :
QA
9
.
O4F5
2016
E-Book
,
4. Discovering Patterns in Mathematics and Poetry
المؤلف: \ Marcia Birken and Anne C. Coon
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Mathematics and literature,Logic, Symbolic and mathematical,Word problems (Mathematics),منطق ریاضی,مساله واژه (ریاضیات)
رده :
E-Book
,
5. Elements of Logical Reasoning
المؤلف: / Jan von Plato
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, Symbolic and mathematical,Reasoning,MATHEMATICS -- Logic., bisacsh,منطق ریاضی,استدلال,ریاضیات -- منطق
رده :
QA9
.
V66
2013
6. Essays on the Foundations of Mathematics
المؤلف: \ Stephen Pollard, editor.
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, symbolic and mathematical,منطق ریاضی,a04,a04,Mathematics-- Philosophy.,ریاضیات -- فلسفه
رده :
QA
8
.
6
.
E8
2010
E-Book
,
7. Logic, Mathematics, and Computer Science.
المؤلف: \ Yves Nievergelt
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Mathematics,Logic, symbolic and mathematical,Number theory,ریاضیات,منطق ریاضی,نظریه اعداد,a03,a04,a05,a03,a04,a05
رده :
QA
37
.
N5L6
2015
E-Book
,
8. Logic and Philosophy of Mathematics in the Early Husserl
المؤلف: \ by Stefania Centrone.
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, symbolic and mathematical,منطق ریاضی,a03,a03,Mathematics-- Philosophy.,ریاضیات -- فلسفه
رده :
QA
9
.
C4L6
2010
E-Book
,
9. Logical Thinking in the Pyramidal Schema of Concepts
المؤلف: / Lutz Geldsetzer, Richard L. Schwartz
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, Symbolic and mathematical,Mathematics, Philosophy,Philosophy (General),Logic,Computer science,منطق ریاضی,ریاضیات -- فلسفه
رده :
QA9
.
G325
2013
10. <The> Arché papers on the Mathematics of Abstraction
المؤلف: \ edited by Roy T. Cook.
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, symbolic and mathematical,منطق ریاضی,a04,a04,Mathematics -- Philosophy.,ریاضیات -- فلسفه
رده :
QA
9
.
A7
2007
E-Book
,
11. <The> Elements of Advanced Mathematics
المؤلف: \ Steven G. Krantz
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Mathematics,Mathematics -- Textbooks,Logic, Symbolic and mathematical -- Textbooks,ریاضیات,ریاضیات -- کتاب‌های درسی,منطق ریاضی -- کتاب‌های درسی
رده :
E-Book
,
12. The Oxford handbook of philosophy of mathematics and logic
المؤلف: / edited by Stewart Shapiro.
المکتبة: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع: ریاضیات,منطق ریاضی, -- فلسفه, -- فلسفه
رده :
QA
۸
/
۴
/
آ
۷ ۱۳۸۴
13. The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory
المؤلف: /by Kurt Godel.,گودل,Godel
المکتبة: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع: ریاضیات,منطق ریاضی, -- فلسفه
رده :
QA
۹
/
گ
۹
ک
۲ ۱۳۴۵
14. The foundations of mathematics
المؤلف: / by Frank Plumpton Ramsey
المکتبة: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع: ریاضیات -- فلسفه,منطق ریاضی
رده :
BibQA
۹
/
ر
۸ ۱۳۷۹
15. The limits of science: qutline of logic and of the methodology of the exact sciences leon chwistek Introduction and appendix by Helen Charlotte
المؤلف:
المکتبة: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع: ع‍ل‍وم روش‌ش‍ن‍اس‍ی,ریاضیات -- فلسفه,منطق ریاضی
رده :
BibQ
۱۷۵
/
خ
۸
ل
۹ ۱۳۷۹
16. The nature of mathematics: a critical survey
المؤلف: / Max Black
المکتبة: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع: ریاضیات -- فلسفه,منطق ریاضی
رده :
QA
۹
/
ب
۸ ۱۳۸۰
17. Towards Mathematical Philosophy
المؤلف: \ David Makinson, Jacek Malinowski, Heinrich Wansing Editors
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, Symbolic and mathematical -- Congresses. ,Mathematics -- Philosophy -- Congresses. ,منطق ریاضی -- کنگره‌ها ,ریاضیات -- فلسفه -- کنگره ها
رده :
E-Book
,
18. الموثرات المتبادلة بين المنطق و الرياضيات النسق نموذجا
المؤلف: / زکريا منشاوي الجالي,جالي
المکتبة: كتابخانه آيت الله وزيري (آستان قدس رضوی ع) (یزد)
موضوع: منطق -- تاريخ و نقد,رياضيات -- تاريخ و نقد,منطق رياضي
رده :
۱۶۰
ج
۱۵۵
م
19. اندیشه ریاضی
المؤلف: ب . آ. کوردمسکی ,,کوردمسکی. باریس آناستاسیویچ
المکتبة: كتابخانه مركزي و مركز اسناد شهيد مطهري دانشگاه رازى (کرمانشاه)
موضوع: ریاضیات - سرگرمیها منطق ریاضی - مسائل. تمرینها و غیره
رده :
QA
95
/
ک
9
الف
8
20. آیا خدا یک ریاضی‌دان است؟
المؤلف: / ماریو لیویو,عنوان اصلی:Is God a mathematician?, 2010.,لیویو,Livio
المکتبة: كتابخانه مركزي آستان قدس رضوي (ع) - تالار جوانان دختر (خراسان رضوی)
موضوع: رياضيات,منطق رياضي,اکتشافهاي علمي,رياضي دانان, -- سرگذشتنامه, -- فلسفه
رده :
۵۱۰
/
۱
ل
۹۹۳
آ
